2

Axioms for Recursion in Call-by-Value

Year:
2002
Language:
english
File:
PDF, 228 KB
english, 2002
8

Classical Natural Deduction for S4 Modal Logic

Year:
2011
Language:
english
File:
PDF, 1.90 MB
english, 2011
10

Modality via Iterated Enrichment

Year:
2018
Language:
english
File:
PDF, 353 KB
english, 2018